Software standard - PDFSEARCH.IO - Document Search Engine

Software standard
Results: 6083

#	Item
831	Writing R Extensions VersionPatchedR Core Team This manual is for R, versionPatched). Add to Reading List Source URL: star-www.st-andrews.ac.uk Language: English - Date: 2015-05-28 05:10:09 Archive formats Ubuntu Cross-platform software R Deb Namespace C standard library Package management system Package development process Software Computing Dpkg
832	Microsoft Word - A-STD-61_Part3_issue1.doc Add to Reading List Source URL: www.armscor.co.za Language: English - Date: 2004-11-05 07:59:48 Systems science Reliability engineering United States Military Standard Systems engineering process Requirement Government procurement in the United States Information Services Procurement Library Baseline MIL-STD-498 Software development Systems engineering Software
833	Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Software Software requirements Embedded systems Safety DO-178C DO-178B Frama-C Formal verification Verification Software development Avionics Computing
834	Writing R Extensions VersionPatchedR Core Team This manual is for R, versionPatched). Add to Reading List Source URL: cran-r.c3sl.ufpr.br Language: English - Date: 2015-05-28 05:10:09 Archive formats Ubuntu Cross-platform software R Deb Namespace C standard library Package management system Package development process Software Computing Dpkg
835	Using Maths Environments Andrew Roberts Maths is a pretty fundamental area with Latex, and with Tex! Normally, environments require the standard \begin{...} \end{...} format. However, as it was assumed that maths stuff w Add to Reading List Source URL: www.andy-roberts.net Language: English - Date: 2011-07-16 13:53:12 Publishing Digital typography Donald Knuth TeX Typesetting Application software Typography Desktop publishing software
836	c 1993 Cambridge University Press 1 J. Functional Programming 1 (1): 1{000, January 1993 FUNCTIONAL PEARLS Proof-Directed Debugging Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-27 17:55:28 Functional languages Deduction Entailment Logical syntax Metalogic Philosophical logic Regular expression Standard ML IP Logic Software engineering Computer programming
837	Linux distrib vendors make patches available for GHOST Add to Reading List Source URL: techxplore.com Language: English - Date: 2015-05-29 03:27:38 Cross-platform software C Standard Library Linux Vulnerability Openwall Project Qualys GNU C Library Debian Patch Software Computing Free software
838	Writing R Extensions Version16) R Core Team This manual is for R, version16). Add to Reading List Source URL: cran.uib.no Language: English - Date: 2015-05-27 05:13:22 Archive formats Ubuntu Cross-platform software R Deb Namespace C standard library Package management system Package development process Software Computing Dpkg
839	User-defined Literals for Standard Library Types (part 1 - version 4) Peter SommerladDocument Number: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2013-04-18 23:04:06 Software engineering C++11 String C++ classes Template Struct Sizeof New Sequence container C++ Computer programming Computing
840	Writing R Extensions Version16) R Core Team This manual is for R, version16). Add to Reading List Source URL: star-www.st-andrews.ac.uk Language: English - Date: 2015-05-27 05:13:22 Archive formats Ubuntu Cross-platform software R Deb Namespace C standard library Package management system Package development process Software Computing Dpkg

UPDATE